61. Declarative agent languages and technologies IX :
Author: Chiaki Sakama [and others] (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Declarative programming languages -- Congresses.,Informatique.,Intelligent agents (Computer software) -- Congresses.
Classification :
QA76
.
76
.
I58
C453
2012
62. Design, specification, and verification of interactive systems '95 :
Author: P. Palanque and R. Baside (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer graphics -- Congresses.,Computer graphics.,Interactive computer systems -- Congresses.
Classification :
T385
.
P635
1995
63. Distributed and parallel embedded systems :
Author: edited by Franz J. Rammig.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic data processing-- Distributed processing, Congresses.,Embedded computer systems, Congresses.,Parallel processing (Electronic computers), Congresses.,Parallélisme (Informatique)-- Congrès.,Systèmes enfouis (Informatique)-- Congrès.,Traitement réparti-- Congrès.,Electronic data processing-- Distributed processing.,Embedded computer systems.,Parallel processing (Electronic computers)
Classification :
QA76
.
9
.
D5
I3477
1998
64. E-Voting and Identity
Author: \ Rolf Haenni , Reto E. Koenig, Douglas Wikström (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Electronic voting -- Congresses.,Data encryption (Computer science) -- Congresses.,Computer software -- Verification -- Congresses.,رأیگیری الکترونیکی -- کنگرهها ,رمزگذاری دادهها -- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگره ها
Classification :
JF
1032
.
E94
2015
E-Book
,
65. E-voting and identity
Author: Aggelos Kiayias, Helger Lipmaa (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses,Data encryption (Computer science), Congresses,Electronic voting, Congresses
Classification :
JF1032
.
V68
2011eb
66. Electronic voting :
Author: Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Electronic voting, Congresses.,Computer networking & communications.,Computer security.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Security-- General.,Computers-- Social Aspects-- General.,Computers-- Software Development & Engineering-- General.,Data encryption.,Electronic voting.,Ethical & social aspects of IT.,Public administration.,Software Engineering.
Classification :
JF1032
67. Empirical software engineering and verification
Author: Bertrand Meyer, Martin Nordio (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Verification, Congresses,Software engineering, Congresses
Classification :
QA76
.
758
.
E47
2011eb
68. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computer security.,Computer software.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
758
69. Engineering trustworthy software systems :
Author: Jonathan P. Bowen, Zhiming Liu, Zili Zhang (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer security, Congresses.,Computer software, Congresses.,Software engineering, Congresses.,Computer security.,Computer software.,Software engineering.
Classification :
QA76
.
758
70. Enterprise information systems :
Author: Joaquim Filipe, José Cordeiro (Eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Management information systems, Congresses.,Affaires.,Economie de l'entreprise.,Management information systems.,Science économique.
Classification :
T58
.
6
.
I58
2009
71. Formal Methods for Industrial Critical Systems
Author: \ Manuel Núñez , Matthias Güdemann (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,Software engineering -- Congresses,Computer programs -- Verification -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها ,نرمافزار -- مهندسی-- کنگرهها ,برنامههای کامپیوتری -- راستیآزمایی -- کنگره ها
Classification :
QA
76
.
9
.
F6
2015
E-Book
,
72. Formal approaches to software testing and runtime verification
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Formal methods (Computer science) ; Congresses. ; Computer software ; Testing ; Congresses. ;
73. Formal approaches to software testing and runtime verification
Author: / Klaus Havelund ... [et al.] (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Formal methods (Computer science)--Congresses,Computer software--Testing--Congresses,Software testing,Runtime verification,FATES,RV
Classification :
QA
,
76
.
9
,.
F67
,
F524
,
2006
74. Formal aspects of component software :
Author: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
75. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
76. Formal methods and software engineering :
Author: Shengchao Qin, Zongyan Qiu (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
Classification :
QA76
.
9
.
F67
I34
2011
77. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
78. Formal methods for components and objects :
Author: Elena Giachino, Reiner Hähnle, Frank S. Boer, Marcello M. Bonsangue (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
F53
2012
79. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
80. Formal methods for industrial critical systems :
Author: Darren Cofer, Alessandro Fantechi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.
Classification :
QA76
.
9
.
F67
I594
2008eb
